Degree Spectra of Structures
نویسندگان
چکیده
In this survey, we discuss computability spectra of countable structures that provide a natural measure non-computability structure. This notion is main tool for investigating algorithmic properties structures. Along with review known results in field, present proofs some new to illustrate the method interpretation, which basic field. We also open questions.
منابع مشابه
Degree spectra of relations on computable structures
§0. Introduction. There has been increasing interest over the last few decades in the study of the effective content of Mathematics. One field whose effective content has been the subject of a large body of work, dating back at least to the early 1960s, is model theory. (A valuable reference is the handbook [7]. In particular, the introduction and the articles by Ershov and Goncharov and by Har...
متن کاملDegree spectra and computable dimensions in algebraic structures
Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classes of algebraic structures, such as groups, rings, lattices, and so forth. One way to give positive answers to this question is to adapt the original proof to the new setting. However, this can be an unnecessary duplica...
متن کاملResponse Spectra of Structures under Subway Induced Vibrations
Passing underground trains induce vibrations transmitted to the ground surface and the nearby structures. Ordinarily, these vibrations do not result in structural damage but can harm nonstructural elements and disturb the occupants. These effects are more pronounced when evaluating buildings like hospitals, laboratories, museums, etc., and their assessment is an important design need. To respon...
متن کاملRelativized Degree Spectra
We present a relativized version of the notion of a degree spectrum of a structure with respect to finitely many abstract structures. We study the connection to the notion of joint spectrum. We prove that some properties of the degree spectrum as a minimal pair theorem and the existence of quasi-minimal degrees are true for the relative spectrum.
متن کاملDegree spectra of prime models
We consider the Turing degrees of prime models of complete decidable theories. In particular we show that every complete decidable atomic theory has a prime model whose elementary diagram is low. We combine the construction used in the proof with other constructions to show that complete decidable atomic theories have low prime models with added properties. If we have a complete decidable atomi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Sciences
سال: 2021
ISSN: ['1072-3374', '1573-8795']
DOI: https://doi.org/10.1007/s10958-021-05424-0